Elimination of unbounded quantifiers for some poly-regular groups of infinite rank

COUNTING DISTINCT FUZZY SUBGROUPS OF SOME RANK-3 ABELIAN GROUPS

In this paper we classify fuzzy subgroups of a rank-3 abelian group $G = mathbb{Z}_{p^n} + mathbb{Z}_p + mathbb{Z}_p$ for any fixed prime $p$ and any positive integer $n$, using a natural equivalence relation given in cite{mur:01}. We present and prove explicit polynomial formulae for the number of (i) subgroups, (ii) maximal chains of subgroups, (iii) distinct fuzzy subgroups, (iv) non-isomorp...

groups of infinite rank with a normalizer condition on subgroups

groups of infinite rank in which every subgroup is either normal or self-normalizing are characterized in terms of their subgroups of infinite rank.

Regular Infinite Dimensional Lie Groups

Regular Lie groups are infinite dimensional Lie groups with the property that smooth curves in the Lie algebra integrate to smooth curves in the group in a smooth way (an ‘evolution operator’ exists). Up to now all known smooth Lie groups are regular. We show in this paper that regular Lie groups allow to push surprisingly far the geometry of principal bundles: parallel transport exists and fla...

Elimination of Predicate Quantifiers

application and construction of carbon paste modified electrodes developed for determination of metal ions in some real samples

ساخت الکترودهاِی اصلاح شده ِیکِی از چالشهاِی همِیشگِی در دانش شیمِی بوِیژه شیمِی تجزیه مِی باشد ،که با در نظر گرفتن سادگِی ساخت، کاربردی بودن و ارزان بودن روش مِی توان به باارزش بودن چنِین سنسورهاِی پِی برد.آنچه که در ادامه آورده شده به ساخت و کاربرد الکترودهاِی اصلاح شده با استفاده از نانو ذرات در اندازه گِیرِی ولتامترِی آهن وکادمِیم اشاره دارد. کار اول اختصاص دارد به ساخت الکترود خمِیر کربن اصلاح شده با لِیگاند داِ...